#!bin/bash

file=$3
log=$4
timeout $5 ./output/main $1 $2 `cat $file` &> $log